Algebraic complexity theory / Peter Bürgisser |
Autore | Bürgisser, Peter |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
Descrizione fisica | XXIII, 618 p. : ill. ; 23 cm |
Disciplina | 5118 |
Collana | Die Grundlehren der mathematischenwissenschaften |
Soggetto non controllato | algoritmi |
ISBN | 3-540-60582-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000195990203316 |
Bürgisser, Peter | ||
Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithmics : theory and practice / Gilles Brassard and Paul Bratley |
Autore | Brassard, Gilles |
Pubbl/distr/stampa | London : Prentice-Hall, copyr. 1988 |
Descrizione fisica | XVI, 361 p. : ill. ; 24 cm |
Disciplina | 5118 |
Soggetto non controllato | algoritmi |
ISBN | 0-13-023169-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000242610203316 |
Brassard, Gilles | ||
London : Prentice-Hall, copyr. 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms and order / edited by Ivan Rival |
Pubbl/distr/stampa | Dordrecht [etc.] : Kluwer Academic Publishers, copyr. 1989 |
Descrizione fisica | X, 498 p. : ill. ; 24 cm |
Disciplina | 5118 |
Collana | NATO ASI. Serie C, Mathematical and physical sciences |
Soggetto non controllato |
Algoritmi - Congressi - 1987
Congressi - Ottawa - 1987 |
ISBN | 0-7923-0007-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000122620203316 |
Dordrecht [etc.] : Kluwer Academic Publishers, copyr. 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Around classification theory of models / Saharon Shelah |
Autore | Shelah, Saharon |
Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1986 |
Descrizione fisica | V, 279 p. : ill. ; 25 cm |
Disciplina | 5118 |
Collana | Lecture notes in mathematics |
Soggetto non controllato | teoria dei modelli |
ISBN | 3-540-16448-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000117770203316 |
Shelah, Saharon | ||
Berlin [etc.] : Springer Verlag, copyr. 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Around classification theory of models / Saharon Shelah |
Autore | Shelah, Saharon |
Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1986 |
Descrizione fisica | V, 279 p. : ill. ; 25 cm |
Disciplina | 5118 |
Collana | Lecture notes in mathematics |
Soggetto non controllato | teoria dei modelli |
ISBN | 3-540-16448-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000215020203316 |
Shelah, Saharon | ||
Berlin [etc.] : Springer Verlag, copyr. 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Combinatorial heuristic algorithmswith FORTRAN / H. T. Lau |
Autore | Lau, Hang Tong |
Pubbl/distr/stampa | Beriln [etc.] : Springer-Verlag, copyr. 1986 |
Descrizione fisica | VII, 126 p. ; 25 cm |
Disciplina | 5118 |
Collana | Lecture notes in economics and mathematical systems |
Soggetto non controllato |
algoritmi
analisi combinatoria - elaborazione dei dati linguaggio fortran |
ISBN | 3-540-17161-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000212190203316 |
Lau, Hang Tong | ||
Beriln [etc.] : Springer-Verlag, copyr. 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Greedoids / Bernhard Korte, László Lovász, Rainer Schrader |
Autore | Korte, Bernhard |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1991 |
Descrizione fisica | VIII, 211 p. : ill. ; 25 cm |
Disciplina | 5118 |
Soggetto non controllato |
algoritmi
analisi combinatoria logica matematica |
ISBN | 3-540-18190-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000253920203316 |
Korte, Bernhard | ||
Berlin [etc.] : Springer-Verlag, copyr. 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Introduzione alla teoria dei modelli a alla metamatematica dell'algebra / Abraham Robinson ; [traduzione di Silvio Bozzi] |
Autore | Robinson, Abraham |
Pubbl/distr/stampa | Torino : Boringhieri, 1974 |
Descrizione fisica | 334 p. : ill. ; 21 cm |
Disciplina | 5118 |
Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
Soggetto non controllato |
metamatematica
teoria dei modelli |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000130190203316 |
Robinson, Abraham | ||
Torino : Boringhieri, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Knapsack problems : algorithms and computer implementations / Silvano Martello and Paolo Toth |
Autore | Martello, Silvano |
Pubbl/distr/stampa | Chichester [etc.] : John Wiley & Sons, copyr. 1990 |
Descrizione fisica | XII, 296 p. : ill. ; 23 cm + 1 floppy disk |
Disciplina | 5118 |
Collana | Wiley-Interscience series in discrete mathematics and optimization |
Soggetto non controllato |
algoritmi
complessita' computazionale ottimizzazione matematica programmazione lineare |
ISBN | 0-471-92420-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000239610203316 |
Martello, Silvano | ||
Chichester [etc.] : John Wiley & Sons, copyr. 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical modelling of industrial processes : lecture given at the 3rd session of the Centro internazionale matematico estivo : held in Bari, Italy, Sept. 24-29, 1990 / S. Busenberg, B. Forte, H. K. Kuiken |
Autore | Busenberg, Stavros |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
Descrizione fisica | 162 p. : ill. , 25 cm |
Disciplina | 5118 |
Collana | Lecture notes in mathematics |
Soggetto non controllato |
congressi - bari - 1990
modelli matematici - applicazioni nell'industria - congressi - 1990 |
ISBN | 3-540-55595-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000212710203316 |
Busenberg, Stavros | ||
Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|